before($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if first($e$)$\rightarrow$ nil else before(pred($e$)) @ [pred($e$)] fi  \emph{(recursive)}